x86-64 linux: properly exit idle mode from evtchn_do_upcall()
authorcl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Wed, 8 Feb 2006 15:36:49 +0000 (15:36 +0000)
committercl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Wed, 8 Feb 2006 15:36:49 +0000 (15:36 +0000)
commit5196eb3f945c5685f049f98a0ce0e00f3d495323
treeb666c75b68b6d548fee3a5a660c2842fec163c4e
parentba4485632de1d93d8aa9a2e84135a8e9373d6268
x86-64 linux: properly exit idle mode from evtchn_do_upcall()
Add a call to exit_idle() when evtchn_do_upcall() calls
evtchn_device_upcall() instead of do_IRQ().

From: Jan Beulich <JBeulich@novell.com>
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
linux-2.6-xen-sparse/drivers/xen/core/evtchn.c